$\forall$$a$, $b$:$\mathbb{Z}$, $n$:$\mathbb{N}^{+}$. (($n$ $\ast$ $a$) $<$ ($n$ $\ast$ $b$)) $\Rightarrow$ ($a$ $<$ $b$)